$\forall$$i$, $j$:$\mathbb{Z}$. Dec($i$ $<$ $j$)